From: awilliam@xenbuild.aw Date: Thu, 27 Apr 2006 02:55:42 +0000 (-0600) Subject: [IA64] Make VTI domain boot X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~16116 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=9e385cdd2fce38b43a5ac1fd0f2ea0e8745abd1d;p=xen.git [IA64] Make VTI domain boot Signed-off-by: Kevin Tian Signed-off-by: Anthony Xu --- diff --git a/xen/arch/ia64/xen/domain.c b/xen/arch/ia64/xen/domain.c index 7def6cb693..5a000448d9 100644 --- a/xen/arch/ia64/xen/domain.c +++ b/xen/arch/ia64/xen/domain.c @@ -679,7 +679,7 @@ void assign_domain_page(struct domain *d, unsigned long mpaddr, unsigned long ph //XXX CONFIG_XEN_IA64_DOM0_VP // TODO racy - if ((mpaddr & GPFN_IO_MASK) == GPFN_MEM) + if ((physaddr & GPFN_IO_MASK) == GPFN_MEM) set_gpfn_from_mfn(physaddr >> PAGE_SHIFT, mpaddr >> PAGE_SHIFT); } else printk("assign_domain_page: mpaddr %lx already mapped!\n",mpaddr);